1. Logic for applications
پدیدآورنده: Nerode, Anil
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
2. Logic for applications
پدیدآورنده: Nerode, Anil, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
3. Logic for applications
پدیدآورنده: Nerode, Anil
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
رده :
QA
76
.
9
.
M35
.
N47
1997
4. Logic for applications
پدیدآورنده: / Anil Nerode, Richard A. Shore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
5. Logic for applications /
پدیدآورنده: Anil Nerode, Richard A. Shore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
6. Recursion theory
پدیدآورنده: edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
7. Recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
